$\forall$$L$:$\mathbb{Z}$ List, $a$:$\mathbb{Z}$. 0$<\parallel$$L$$\parallel$ $\Rightarrow$ ($a$$\leq$imax{-}list($L$) $\Leftrightarrow$ ($\exists$$b$$\in$$L$.$a$$\leq$$b$))